『Comonads for user interfaces』

66ページ

abstract

ユーザーインターフェイス（UI）の実装は難しいです。これらは、伝統的に、大きく命令的なスタイルで開発されてきた実世界のアプリケーションの重要な部分です。しかし、最近では、宣言的なユーザーインターフェイスを構築するための多くの技術が登場しています。これらの技術は、ほとんどの場合、アプリケーション内のユーザーインターフェイスを実装および組織化するための異なるアーキテクチャスタイルやパラダイムを定義しています。これに触発されて、フリーマン（2016b）は、多くの異なるユーザーインターフェイスパラダイムとその微妙な違いを要約し、抽象化する純粋関数モデルを開発するために、コモナドと呼ばれる圏論の構造を利用しています。ここで、異なるUIパラダイム（またはアーキテクチャ）が異なるコモナドに対応しています。